he model theory of groups of unitriangular matrices over rings is studied. An important tool in these studies is a new notion of a quasiunitriangular group. The models of the theory of all unitriangular groups are algebraically characterized; it turns out that all they are quasiunitriangular groups. It is proved that if R and S are domains or commutative associative rings then two quasiunitriangular groups over R and S are isomorphic only if R and S are isomorphic or antiisomorphic. This (...) algebraic result is new even for ordinary unitriangular groups. The groups elementarily equivalent to a single unitriangular group UTn are studied. If R is a skew field, they are of the form UTn, for some S ≡ R. In general, the situation is not so nice. Examples are constructed demonstrating that such a group need not be a unitriangular group over some ring; moreover, there are rings P and R such that UTn ≡ UTn, but UTn cannot be represented in the form UTn for S ≡ R. We also study the number of models in a power of the theory of a unitriangular group. In particular, we prove that, for any communicative associative ring R and any infinite power λ, I = I). We construct an associative ring such that I = 3 and I) = 2. We also study models of the theory of UTn in the case of categorical R. (shrink)

We consider relational databases organized over an ordered domain with some additional relations — a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the first-order queries that are invariant under order-preserving “permutations” — such queries are called order-generic. It has recently been discovered that for some domains order-generic FO queries fail to express more than pure order queries. For example, every order-generic FO query over rational numbers (...) with + can be rewritten without +. For some other domains, however, this is not the case.We provide very general conditions on the FO theory of the domain that ensure the collapse of order-generic extended FO queries to pure order queries over this domain: the Pseudo-finite Homogeneity Property and a stronger Isolation Property. We further distinguish one broad class of domains satisfying the Isolation Property, the so-called quasi-o-minimal domains. This class includes all the o-minimal domains, but also the ordered group of integer numbers and the ordered semigroup of natural numbers, and some other domains.An important difference of this paper from the recent series of related papers is that we generalize all the notions to the case of finitely representable database states — as opposed to finite states — and develop a general lifting technique that, essentially, allows us to extend any result of the kind we are interested in, from finite to finitely representable states. We show, however, that these results cannot be transfered to arbitrary infinite states. (shrink)

For a quasi variety of algebras K, the Higman Theorem is said to be true if every recursively presented K-algebra is embeddable into a finitely presented K-algebra; the Generalized Higman Theorem is said to be true if any K-algebra which is recursively presented over its finitely generated subalgebra is embeddable into a K-algebra which is finitely presented over this subalgebra. We suggest certain general conditions on K under which the Higman Theorem implies the Generalized Higman Theorem; a finitely generated K-algebra (...) A is embeddable into every existentially closed K-algebra containing a finitely generated K-algebra B if and only if the word problem for A is Q-reducible to the word problem for B. The quasi varieties of groups, torsion-free groups, and semigroups satisfy these conditions. (shrink)

For any countable transitive complete theory T with infinite models and the finite model property, we construct a minimal structure M such that the theory of M is small if and only if T is small, and is λ-stable if and only if T is λ-stable. This gives a series of new examples of minimal structures.